It's a functional programming language and a proof assistant. Website (WIP) repo. How to pronouns OwO. /'əʊwəʊ/. License. ... <看更多>
Search
Search
It's a functional programming language and a proof assistant. Website (WIP) repo. How to pronouns OwO. /'əʊwəʊ/. License. ... <看更多>
Language Arts. Rose be simpin' Discord, Random Stuff, Language, Rose, Random Things,. Bradley Hay. 4 followers. More information. Discord · Random Stuff. ... <看更多>
... <看更多>
OwO is inspired mainly by Agda, MLPolyR and Haskell. It's a functional programming language and a proof assistant. Website (WIP) repo. How to pronouns OwO. ... <看更多>